Recursive set - PDFSEARCH.IO - Document Search Engine

Recursive set
Results: 45

#	Item
21	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics
22	COLLECTION, LEMMAS, REFLECTION ALBERT VISSER Σ1 -collection is a basic principle of thought. In one of its forms it tells us that a recursive function on a finite set of natural numbers is bounded. The principle is so d Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:55 Logical syntax Philosophical logic Philosophy of language Theorems Lemma Logic Mathematics Logical consequence
23	Analyzing Insertion Sort as a Recursive Algorithm l Basic idea: divide and conquer Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2001-04-08 18:31:15 Mathematics Latin script Asymptotic analysis Master theorem Orthography World glyph set Latin-derived alphabet Character encoding Collation Latin alphabets
24	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
25	Anatomy of a Globally Recursive Embedded LINPACK Benchmark Jack Dongarra and Piotr Luszczek Batteries included. Some assembly required. Add to Reading List Source URL: web.eecs.utk.edu Language: English - Date: 2012-09-12 20:53:25 Instruction set architectures Exynos 1E Basic Linear Algebra Subprograms ARM11 IOS ARM Cortex-A8 Waltham OMAP Computer architecture ARM architecture Embedded microprocessors
26	Computable Structures: Presentations Matter Richard A. Shore∗ Department of Mathemcatics Cornell Univeristy Ithaca NY 14853 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-12-01 12:15:32 Applied mathematics Logic Computable isomorphism Turing reduction Recursive set Enumeration Low Recursively enumerable set Mathematical logic Computability theory Theory of computation Mathematics
27	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
28	Simpler Linear-Time Modular Decomposition via Recursive Factorizing Permutations Marc Tedder1 , Derek Corneil1⋆ , Michel Habib2 , and Christophe Paul3⋆⋆ 1 Department of Computer Science, University of Toronto Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2008-04-30 14:20:20 Cograph Neighbourhood Tree Disjoint-set data structure Breadth-first search Path decomposition Tree decomposition Graph theory Graph operations Modular decomposition
29	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-26 09:56:23 Enumerative combinatorics Function Partially ordered set Inclusion–exclusion principle Primitive recursive function Filter Mathematics Order theory Functions and mappings
30	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers

UPDATE